From 9948ce525944f55d3dd045363a3b1ae6cd8efdc9 Mon Sep 17 00:00:00 2001 From: "kaf24@firebug.cl.cam.ac.uk" Date: Tue, 2 Aug 2005 11:20:12 +0000 Subject: [PATCH] > to "CONFIG_PAGING_LEVELS >= 3", maybe I forgot to include some > into the patch ... Yep, I did, shadow_public.c bits are missing, sorry for trouble. Gerd --- xen/arch/x86/shadow_public.c | 15 ++++++++++++++- 1 file changed, 14 insertions(+), 1 deletion(-) diff --git a/xen/arch/x86/shadow_public.c b/xen/arch/x86/shadow_public.c index 3b949dbd6e..c905a7f9cc 100644 --- a/xen/arch/x86/shadow_public.c +++ b/xen/arch/x86/shadow_public.c @@ -30,7 +30,7 @@ #include #include -#if CONFIG_PAGING_LEVELS >= 4 +#if CONFIG_PAGING_LEVELS >= 3 #include extern struct shadow_ops MODE_F_HANDLER; @@ -233,7 +233,20 @@ void free_monitor_pagetable(struct vcpu *v) v->arch.monitor_vtable = 0; } +#elif CONFIG_PAGING_LEVELS == 3 + +static void alloc_monitor_pagetable(struct vcpu *v) +{ + BUG(); /* PAE not implemented yet */ +} + +void free_monitor_pagetable(struct vcpu *v) +{ + BUG(); /* PAE not implemented yet */ +} + #elif CONFIG_PAGING_LEVELS == 2 + static void alloc_monitor_pagetable(struct vcpu *v) { unsigned long mmfn; -- 2.30.2